program semantics是什么意思_program semantics的意思_program semantics的翻译_program semantics怎么读_program semantics的音标_program semantics的发音_program semantics翻译器_program semantics的短语_program semantics速记技巧_program semantics的近义词_program semantics的反义词_program semantics的双语例句

双语例句

1、

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

互联网摘选

2、

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

互联网摘选

3、

In this paper, the semantics of Verilog program are studied in a discrete continuous hybrid time model, a hybrid interval is denoted as the description of a run of Verilog program.

在连续离散混合时间模型中考虑Verilog的语义行为，将混合模型中的一个区间作为Verilog程序一次运行过程的指称。

互联网摘选

4、

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

互联网摘选

5、

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

互联网摘选

6、

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

互联网摘选

7、

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

互联网摘选

点击展开全部例句

相关词组

program musicn.标题音乐，描写音乐;
united nations development program联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
pilot program试点计划;
drawing program放矿计划;
flexible benefits program弹性福利计划;
modularized program模块化程序;
program directorn.节目部主任，计划主持人;
attitude awareness and change program态度意识和改变计划;态度认知与改动计划
jap-job analysis program工作分析程序法;
World Food Program世界粮食计划署
anti-virus program防毒程序;
tv programn.电视节目;
executive development program主管发展计划;
problem program问题程序;
map programun.变换程序；分布图程序
sustaining programn.<美>非营业性的独立节目;非商业节目;
uranium enrichment program铀浓缩计划;
TV programn.电视节目;
United Nations Development Program联合国开发计划署;
program behavior model程序功效模型;

今日热词
热门搜索

dustbin[ˈdʌstbɪn] n.垃圾箱;灰箱;尘箱;
you belong to me[ju bɪˈlɒŋ tu mi] 你属于我;只属于我
put away[put əˈwei] 收起来; 放好;储存;打消;
Japanese visa[ˌdʒæpəˈniːz ˈviːzə] 日本签证
brother[ˈbrʌðə(r)] n. 兄弟;同事，同胞;同志;int. （表示生气或吃惊）我的老兄！;
vamos['væməʊz] abbr.Verified Additional Military Occupational Specialty 经过验证的其他军事专业职业;瓦莫斯;我们去
tz['ti:z'i:] abbr.茨;Tanzania (Intemet code) 坦桑尼亚（互联网编码）;thiazolidine 噻唑烷
organise['ɔ:gənaɪz] v.组织;筹备 ;安排;组建;成立（NAmE=organize）;
decision making[diˈsiʒən ˈmeɪkɪŋ] 决策，判定;作出判定;
array[əˈreɪ] n.阵列;数组;大量;大堆;大群vt.排列;部署兵力;打扮，装饰;
district[ˈdɪstrɪkt] n.地区;行政区;
tournament[ˈtʊənəmənt , ˈtɔːnəmənt] n.锦标赛;

solemn[ˈsɒləm] adj.庄严的，严肃的;庄重的;隆重的，神圣的;忧郁的，阴沉的;
check[tʃek] v.检查;查看;核实;控制;抑制;克制;存放;在…上打钩;托运;n.检查;账单;支票;调查;阻碍;条令;约束;记号;方格图案;存放处/牌;（国际象棋）将军;
case[keɪs] n. （实）例，事例;情况，状况;诉讼（事件），案件，判例;容器（箱，盒）;vt. 把…装入箱（或盒等）内;加盖于;包围，围住;[俚语]（尤指盗窃前）探察，侦查，窥测;
argue[ˈɑ:gju:] vt.坚决主张;提出理由证明;说服，劝告;表明，证明;vi.争论;辩论;提出理由;争吵;争辩;论证;说理;证明;表明
quickly[ˈkwɪkli] adv.迅速地;立即，马上;很快地；
a host of[ei həust ɔv] adj.许多;很多;一大群;
Goole 古尔;谷歌;古耳;古耳港;谷哥
westlink 西遇；西域；西部公路
could[kəd] aux.能够，打算;用于假设语气的条件句;用于虚拟语气的结论句;modal.可能会，有时会;（用于表示对某人的行为的厌恶）能，可以;(询问是否可做某事)能，可以;(礼貌地请求别人做事以及提供或建议某事物时)能，可以;能，会;（用于建议）可以;好像，仿佛;（强调感觉）真想
skillful[ˈskɪlfl] adj.灵巧的;制作精良的;
so-so[ˈsəusəu] adj.一般的；普通的；中等的；不好也不差的;
miss[mɪs] n.(称呼不知姓名的年轻女子)小姐;(用于未婚女子姓氏或姓名前，以示礼貌)小姐，女士;少女;未击中v.错过;不在;思念;迟到;未达到;避开（不愉快的事）;不懂;未击中;不做;不理解;未得到;未觉察;未见到;未听到;发觉丢失